• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۴۶۲۸ پاسخ غیر تکراری از ۴۶۴۹ پاسخ تکراری در مدت زمان ۰,۵۵ ثانیه یافت شد.

4321. VE2d for Lua Game ProgrammingL

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Mishra, Brij Bhushan

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

4322. VMware private cloud computing with vCloud Director /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Simon Gallagher with Aidan Dalgleish

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Cloud computing.,Virtual computer systems.

Classification :
QA76
.
9
.
V5

4323. Variations on constants

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Markus M?�ller-Olm

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness

Classification :
QA
,
76
.
642
,.
M85
,
2006

4324. Verification, Model Checking, and Abstract Interpretation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer Communication Networks.,Computer science.,Software engineering.

Classification :
QA76
.
76
.
V47
E358
2013

4325. Verification and evaluation of computer and communication systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.

Classification :
TK5105
.
5

4326. Verification of digital and hybrid systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by M. Kemal Inan, Robert P. Kurshan.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification

Classification :
QA76
.
76
.
V47
E358
2000

4327. Verified software :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ruzica Piskac, Philipp Rümmer (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.

Classification :
QA76
.
76
.
V47

4328. Verified software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامه‌نویسی ,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

Classification :
QA
76
.
V4
2016
E-Book
,

4329. Verified software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd

Classification :
QA
,
76
.
76
,.
V47
,
V59
,
2010

4330. Verified software: theories, tools, experiments

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses

Classification :
QA76
.
76
.
V47
V73
2012eb

4331. Video game optimization /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ben Garney and Eric Preisz.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer games-- Design.,Computer games-- Programming.,Video games-- Design.,Computer games-- Design.,Computer games-- Programming.,Video games-- Design.

Classification :
QA76
.
76
.
C672
G3686
2011

4332. Virtual Environments and Scientific Visualization '96 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Computer simulation.,Software engineering.

Classification :
T385
.
E358
1996

4333. Visual Basic Game Programming for Teens (3rd Edition)

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Harbour, Jonathan S.

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

4334. Visual Basic . NET! :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Matt Tagliaferri.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Microsoft .NET Framework.,Microsoft .NET Framework.,Application software-- Development.,Visual Basic (Computer program language),Application software-- Development.,COMPUTERS / Programming / Microsoft.,Visual Basic (Computer program language)

Classification :
QA76
.
73
.
B3
T34
2001

4335. Visual Basic .NET Class Design Handbook: Coding Effective Classes

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Damon Allison, Andy Olsen, James Speer.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Software engineering.

Classification :

4336. Visual Basic 2005 by practice /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Mike Mostafavi.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Visual Basic.,Microsoft Visual BASIC.,BASIC (Computer program language),Visual Basic (Computer program language),BASIC (Langage de programmation),BASIC (Computer program language),REFERENCE-- General.,Visual Basic (Computer program language)

Classification :
QA76
.
73
.
B3
M6724
2006eb

4337. Visual Basic for Testers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Mary Romero Sweeney.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Software engineering.

Classification :

4338. Visual Studio LightSwitch 2015 /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tim Leung

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Application software-- Development-- Computer programs,Visual programming (Computer science)-- Computer programs

Classification :
QA76
.
65

4339. Visual Studio LightSwitch 2012 /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tim Leung

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Application software-- Development-- Computer programs.,Visual programming (Computer science)-- Computer programs.

Classification :
QA76
.
65

4340. Visual Studio LightSwitch 2015 /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tim Leung

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Application software-- Development-- Computer programs.,Visual programming (Computer science)-- Computer programs.

Classification :
QA76
.
65
  • »
  • 232
  • 231
  • 230
  • 229
  • 228
  • ...
  • 221
  • 220
  • 219
  • 218
  • 217
  • 216
  • 215
  • 214
  • 213
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival